Receding Horizon Task and Motion Planning in Changing Environments
نویسندگان
چکیده
Complex manipulation tasks require careful integration of symbolic reasoning and motion planning. This problem, commonly referred to as Task Motion Planning (TAMP), is even more challenging if the workspace non-static, e.g. due human interventions perceived with noisy non-ideal sensors. work proposes an online approximated TAMP method that combines a geometric module planner standard task in receding horizon fashion. Our approach iteratively solves reduced planning problem over window limited number future actions during implementation actions. Thus, only first action actually scheduled at each iteration, then moved forward, solved again. procedure allows naturally take into account potential changes scene while ensuring good runtime performance. We validate our within extensive experiments simulated environment. showed able deal unexpected environment comparable performance respect other recent approaches solving traditional static benchmarks. release this paper open-source method.
منابع مشابه
Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications
We present a control strategy for an autonomous vehicle that is required to satisfy a rich mission specification over service requests occurring at the regions of a partitioned environment. The overall mission specification consists of a temporal logic statement over a set of static, a priori known requests, and a servicing priority order over a set of dynamic requests that can be sensed locall...
متن کاملOn Motion Planning in Changing, Partially Predictable Environments
We present a framework for analyzing and computing motion plans for a robot that operates in an environment that both varies over time and is not completely predictable. We rst classify sources of uncertainty in motion planning into four categories, and argue that the problems addressed in this paper belong to a fundamental category that has received little attention. We treat the changing envi...
متن کاملReceding horizon temporal logic control in dynamic environments
We present a receding horizon method for controlling an autonomous vehicle that must satisfy a rich mission specification over service requests occurring at the regions of a partitioned environment. The overall mission specification consists of a temporal logic statement over a set of static, a priori known requests, a regular expression over a set of dynamic requests that can be sensed only lo...
متن کاملThe obstacle avoidance motion planning problem for autonomous vehicles: A low-demanding receding horizon control scheme
The paper addresses the obstacle avoidance motion planning problem for ground vehicles operating in uncertain environments. By resorting to set-theoretic ideas, a receding horizon control algorithm is proposed for robots modelled by linear time-invariant (LTI) systems subject to input and state constraints and disturbance effects. Sequences of inner ellipsoidal approximations of the exact one-s...
متن کامل: A Software Toolbox for Receding Horizon Temporal Logic Planning
This paper describes TuLiP, a Python-based software toolbox for the synthesis of embedded control software that is provably correct with respect to an expressive subset of linear temporal logic (LTL) specifications. TuLiP combines routines for (1) finite state abstraction of control systems, (2) digital design synthesis from LTL specifications, and (3) receding horizon planning. The underlying ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Robotics and Autonomous Systems
سال: 2021
ISSN: ['0921-8890', '1872-793X']
DOI: https://doi.org/10.1016/j.robot.2021.103863